(w32_num_mouse_buttons): Rename from Vw32_num_mouse_buttons and make
authorJason Rumney <jasonr@gnu.org>
Mon, 17 May 2004 21:43:22 +0000 (21:43 +0000)
committerJason Rumney <jasonr@gnu.org>
Mon, 17 May 2004 21:43:22 +0000 (21:43 +0000)
commit9a421ce63033de46dc58c3ec703f2fd1071bdc31
tree492572492c7f9cf9a1ef0fbafb8a86cab5f31092
parentaeaa93075ed46645310121e545277f4c093dfd3c
(w32_num_mouse_buttons): Rename from Vw32_num_mouse_buttons and make
it an int.
src/w32term.c